A fast and efficient MATLAB-based MPM solver: fMPMM-solver v1.1
نویسندگان
چکیده
منابع مشابه
A More Efficient BDD-Based QBF Solver
In this paper we present a QBF solver that is based on BDD technologies but includes optimizations from search-based algorithms. We enhance the early quantification technique from model checking, favoring aggressive quantification over conjunction of BDDs. BDD Constraint propagation is also described, a strategy inspired by the efficient simplifications applied to CNFs in DPLL-based algorithms ...
متن کاملA Fast, Unstructured Panel Solver
A parallel high-order Boundary Element Method accelerated by the Fast Multipole Method is presented in this report. The case of potential flow about arbitrary geometries will be investigated using this method. The goal of this application is to provide a ”pushbutton” tool for the design of aircraft, where medium-fidelity solutions can be obtained in seconds and not hours or days required by Nav...
متن کاملFast SAT-based Answer Set Solver
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS are two well-known such systems. They find an answer set from the full models for the completion of the input program, which is (iteratively) augmented with loop formulas. Making use of the fact that, for non-tight progr...
متن کاملThe Fast Bilateral Solver
We present the bilateral solver, a novel algorithm for edge-aware smoothing that combines the flexibility and speed of simple filtering approaches with the accuracy of domain-specific optimization algorithms. Our technique is capable of matching or improving upon state-of-the-art results on several different computer vision tasks (stereo, depth superresolution, colorization, and semantic segmen...
متن کاملStructured Markov chain solver: MATLAB tool extensions
The notations used in this document are in line with the papers Structured Markov chains solver [2, 3]. These notations are slightly different from the MATLAB help files. General references to the issues addressed in this document can be found in the books [5, 6, 4, 1].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geoscientific Model Development
سال: 2020
ISSN: 1991-9603
DOI: 10.5194/gmd-13-6265-2020